d{-}sub\{i:l\}($D_{1}$; $D_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:Id. ma{-}sub\{i:l\}(d{-}m($D_{1}$; $i$); d{-}m($D_{2}$; $i$))